A method for rigorous development of fault-tolerant systems
نویسنده
چکیده
With our increasing dependency on computer-based systems, ensuring their dependability becomes one the most important concerns during system development. This is especially true for missionand safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate run-time errors. However, fault tolerance modelling and, in particular, rigorous definitions of fault tolerance requirements, fault assumptions and system recovery have not been given enough attention during formal system development. This paper proposes a development method for stepwise modelling of high-level system fault tolerant behaviour. The method provides an environment for explicit modelling of fault tolerance and modal aspects of system behaviour and is supported by tools that are smoothly integrated into an industry-strength development environment. A case study from the aerospace domain is used to demonstrate the proposed method. © 2013 Newcastle University. Printed and published by Newcastle University, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details LOPATKIN, I., ROMANOVSKY, A. A Method for Rigorous Development of Fault-Tolerant Systems [By] I. Lopatkin, A. Romanovsky Newcastle upon Tyne: Newcastle University: Computing Science, 2013. (Newcastle University, Computing Science, Technical Report Series, No. CS-TR-1374)
منابع مشابه
Rigorous Development of Fault-Tolerant Systems through Co-refinement
With our increasing dependency on computer-based systems, ensuring their dependability becomes one the most important concerns during system development. This is especially true for missionand safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate runtime errors. However, fault tolerance modelling and, in particular, rigorous definitions of fault toleranc...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملAn approach to fault detection and correction in design of systems using of Turbo codes
We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...
متن کامل